Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
theorem proving
1
inductive theorem proving
1 ?
 21,213,375 websites (safe search)

  1. Mathematical Reasoning Group

    MRG home page · Research · Publications · Projects · Software · People Mathematical Reasoning Group The Mathematical Reasoning Group is a distributed research gro ...
    Scotland3
    University of Edinburgh1
    Dream Group1
    Theorem Proving1
    Rippling1
    Proof Planning1
    Formalised Mathematics1
    Inductive Theorem Proving1
    Interfaces for theorem provers1
    Mathematical Reasoning Group1
    Proof Assistants1

    dream.dai.ed.ac.uk - 2009-03-08

proof planning1 glasgow2 knowledge3 scotland3 webpage development1 web design9 edinburgh2 artificial intelligence2 university of edinburgh1 knowledge representation1 england4 web development4 website development3 knowledge management2 postgraduate2

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.